credit: unpause parked vcpu before destroying it
authorJuergen Gross <juergen.gross@ts.fujitsu.com>
Wed, 16 Oct 2013 10:26:48 +0000 (12:26 +0200)
committerJan Beulich <jbeulich@suse.com>
Wed, 16 Oct 2013 10:26:48 +0000 (12:26 +0200)
commitd38a668b6ef8c84d1d3fda9947ffb0056d01fe3a
tree3757a7d52fd5a8e07691810a2730b49ec5e0eeb8
parent720f45ad01b6a3af2d77fb8fe122d934bbadba47
credit: unpause parked vcpu before destroying it

A capped out vcpu must be unpaused in case of moving it to another cpupool,
otherwise it will be paused forever.

Signed-off-by: Juergen Gross <juergen.gross@ts.fujitsu.com>
Acked-by: George Dunlap <george.dunlap@eu.citrix.com>
xen/common/sched_credit.c